-
1 предварённая форма
1) Mathematics: prenex form, (формула) prenex form (formula)2) Makarov: prenex form (в логике)Универсальный русско-английский словарь > предварённая форма
-
2 предварённая форма
-
3 предварённая форма (формула)
Mathematics: prenex form (formula)Универсальный русско-английский словарь > предварённая форма (формула)
-
4 форма
1. ж. form, shapeпо форме:
2. ж. mode3. ж. мат. quantic4. ж. form, blankзаполнять форму ? — … execute form No …
по форме ? … — on form No …
формореал, реал для форм — forme rack
Синонимический ряд:конфигурация (сущ.) конфигурация; фигура -
5 предварённый
Русско-английский словарь математических терминов > предварённый
-
6 предварённый
-
7 форма
configuration, form, format, geometry, matrix, make, model, mold, pan пищ., pattern метал., retainer, shape, structure, tin* * *фо́рма ж.1. form, shapeвыде́рживать фо́рму, напр. при обрабо́тке — keep true to shape, e. g., in machiningфо́рма изде́лия претерпева́ет ре́зкие измене́ния — the product shows discontinuities in shapeиме́ть фо́рму — be (in) the form [shape] of, be shaped as, take the form ofпо фо́рме:выреза́ть запла́ту по фо́рме, напр. ба́ка — form a patch to fit the contour, e. g., of the tankпра́вильной фо́рмы — of a regular shapeпридава́ть фо́рму — shape, formпринима́ть фо́рму сосу́да ( о жидкости) — conform to the shape of the (containing) vesselсде́ланный в фо́рме чего-л. — made to the shape of a …сохраня́ть фо́рму — hold (its) shape2. (вид, тип процесса) mode3. мат. quantic4. ( бланк установленного образца) form, blankзаполня́ть фо́рму № — … execute form No …подава́ть (напр. заявку) по (устано́вленной) фо́рме — execute an application [request] formпо фо́рме № … — on form No …заявле́ние, соста́вленное по фо́рме № … — an application on form No …аналити́ческая фо́рма — analytical formана́логовая фо́рма — analog formбето́нная фо́рма — formразбира́ть или снима́ть (напр. бетонную) фо́рму — remove the form(s)собира́ть (напр. бетонную) фо́рму — erect (the) formsво́гнутая фо́рма ( поверхности бочки валка) метал. — concave camberфо́рма волны́ — wave shape, waveformвы́пуклая фо́рма ( поверхности бочки валка) метал. — convex camberдизъюнкти́вная фо́рма ( в логике) — disjunctive formдизъюнкти́вная, норма́льная фо́рма — disjunctive normal formдискре́тная фо́рма — digital formфо́рма для ва́куумного формова́ния, негати́вная пласт. — female mouldфо́рма для ва́куумного формова́ния, позити́вная пласт. — male formфо́рма для выдува́ния — blow mouldфо́рма для изготовле́ния изде́лий окуна́нием или мака́нием рез. — dipping mouldфо́рма для изготовле́ния ти́глей — mould matrixфо́рма для литья́ в ко́киль — chill mouldфо́рма для литья́ по выплавля́емым моде́лям — investment mouldфо́рма для литья́ под давле́нием — die mould, moulding [pressure casting] dieфо́рма для литья́ под давле́нием, многогнё́здная — multiple-cavity dieфо́рма для литья́ под давле́нием, одногнё́здная — single-cavity dieфо́рма для определе́ния жидкотеку́чести мета́лла, спира́льная — Saeger spiralфо́рма за́писи мат. — notationв опера́торной фо́рме за́писи — in operational notationквадрати́чная фо́рма мат. — quadratic form, quadric quantic, form of degree twoфо́рма ко́мплексного числа́, алгебраи́ческая — rectangular form of a complex numberфо́рма ко́мплексного числа́, тригонометри́ческая — polar form of a complex number, trigonometric form of a complex numberфо́рма конта́кта эл. — (contact) profileвосстана́вливать фо́рму конта́кта напи́льником — file up a contact to restore the profileконъюнкти́вная фо́рма ( в логике) — conjunctive formконъюнкти́вная, норма́льная фо́рма — conjunctive normal formфо́рма крыла́ в пла́не — wing planformфо́рма ку́зова — body shape, appearanceлите́йная фо́рма — mould, casting [foundry] mouldнаноси́ть кра́ску на лите́йную фо́рму — apply the mould wash, wash a mould a parting mixtureотлива́ть в фо́рму — mould, castпокрыва́ть лите́йную, фо́рму сло́ем, напр. графи́та — dust a mould with, e. g., graphiteхорошо́ заполня́ть (лите́йную) фо́рму при литье́ — cast wellлите́йная, безопо́чная фо́рма — boxless mouldлите́йная, ги́псовая фо́рма — gypsum mouldлите́йная, гли́няная фо́рма — loam mouldлите́йная, земляна́я фо́рма — loam mouldлите́йная, металли́ческая фо́рма — metal [chill] mouldлите́йная, многокра́тная фо́рма — longlife [permanent] mouldлите́йная, многокра́тно испо́льзуемая фо́рма — long-life [permanent] mouldлите́йная, оболо́чковая фо́рма — shell mouldлите́йная, песча́ная фо́рма — sand mouldлите́йная, песча́ная, за́крытая фо́рма — closed sand mouldлите́йная, песча́ная, откры́тая фо́рма — open sand mouldлите́йная, пове́рхностно подсу́шенная фо́рма — skin-dried mouldлите́йная фо́рма по выплавля́емым моделя́м — investment mouldлите́йная, подсу́шенная фо́рма — partially dried mouldлите́йная, ра́зовая фо́рма — temporary mouldлите́йная, со́бранная фо́рма — complete mouldлите́йная, стержнева́я фо́рма — core mouldлите́йная, суха́я фо́рма — baked [dried] mouldлите́йная, сыра́я фо́рма — green-sand mouldлитьева́я фо́рма пласт. — casting mouldлитьева́я, поршнева́я фо́рма — plunger mouldмылохолоди́льная фо́рма — soap-cooling frameнепра́вильная фо́рма — irregular shapeобтека́емая фо́рма — streamline contour, aerodynamic [streamline] form, streamline shapeпридава́ть обтека́емую фо́рму — streamline, give a streamline formопти́чески акти́вная фо́рма — optically active formотливна́я фо́рма ( наборной машины) — mouldотливна́я, линоти́пная фо́рма — linotype mouldотливна́я, моноти́пная фо́рма — monotype mouldотливна́я, универса́льная фо́рма — universal mould wheelпеча́тная фо́рма — (printing) plateзака́тывать печа́тную фо́рму ( переводной или копировальной краской) — roll up a plateнака́тывать кра́ску на печа́тную фо́рму — roll a formпеча́тная фо́рма для высо́кой печа́ти — relief plateпеча́тная фо́рма для глубо́кой печа́ти — intaglio plateпеча́тная фо́рма для офсе́тной печа́ти — offset plateпеча́тная фо́рма для тисне́ния — embossing plateпеча́тная фо́рма для трафаре́тной печа́ти — screen stencilпеча́тная, контро́льная фо́рма — master plateпеча́тная, ко́нтурная фо́рма — skeleton formпеча́тная, маши́нная фо́рма — plateпеча́тная, оригина́льная фо́рма — original plateпеча́тная, стереоти́пная фо́рма — stereotype plateпеча́тная, текстова́я фо́рма — type formпеча́тная, фототи́пная фо́рма — collotype plateпеча́тная, шрифтова́я фо́рма — type formпеча́тная, этало́нная фо́рма — master plateплу́нжерная фо́рма пласт. — plunger mouldподви́жная фо́рма — slip formполубилине́йная фо́рма мат. — sesquilinear formпра́вильная фо́рма — regular shapeпредварё́нная фо́рма ( в логике) — prenex formприсоединё́нная фо́рма мат. — adjoint form, concomitantразбо́рная фо́рма стр. — collapsible formфо́рма распа́да яд. физ. — decay mode, mode of disintegrationфо́рма с обогрева́емым ли́тником пласт. — hot-runner mouldсоверше́нная фо́рма ( в логике) — expanded formфо́рма с одни́м впускны́м ли́тником пласт. — single gate mouldсокращё́нная фо́рма ( в логике) — contracted formтупико́вая фо́рма ( в логике) — irredundant formфо́рма фа́кела — flame patternфо́рма фа́кела распы́ла то́плива — fuel-injection patternхле́бная фо́рма — loaf mouldчернова́я фо́рма ( в стекольном производстве) — parison mould (glass) -
8 предваренный
См. также в других словарях:
ПРЕДВАРЁННАЯ ФОРМА — нормальная форма представления формул предикатов исчисления, имеющая (в общем случае) вид: ФОРМА > где Qι (0 ≤ ι ≤ n) – квантор общности (∀) или существования (∃); (...) формула, не содержащая кванторов и находящаяся в области действия каждого… … Философская энциклопедия
НОРМАЛЬНАЯ ФОРМА — (в математи ч е с к о й л о г и к е) – наиболее простая в к. л. отношении – стандартная – форма представления логич. объектов (предложений, формул, доказательств, схем определений и др.). Понятие о Н. ф. вводится в каждом конкретном случае… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Германия — ГЕРМАНІЯ. I. Общія военно статист. и географ. данныя. Г. занимаетъ площадь въ 540.778 кв. клм. На в. граничитъ съ Россіей (1.184 клм.), на ю. съ Австро Венгріей (2.318) и Швейцаріей (333), на з. съ Франціей (405), Люксембургомъ (208), Бельгіей… … Военная энциклопедия